_'s⁇name

Definitions:

client socket
Source: /avail/Avail/IO/Network/Client/Primitives
Categories: IO, Networking, Sockets
Answer the name of the client socket. This is the name that was provided when the client socket was first created.
Position Name Type Description
Parameters
1 s client socket
Returns nonempty string
server socket
Source: /avail/Avail/IO/Network/Server/Primitives
Categories: IO, Networking, Sockets
Answer the name of the server socket. This is the name that was provided when the server socket was first requested.
Position Name Type Description
Parameters
1 s server socket
Returns nonempty string

Semantic restrictions:

client socket's type
Source: /avail/Avail/IO/Network/Client/Primitives
Type Description
Parameter Types
client socket's type
server socket's type
Source: /avail/Avail/IO/Network/Server/Primitives
Type Description
Parameter Types
server socket's type